- 可计算性逻辑
- logic: n. 1.逻辑，理论学。 2.推理[方法]；逻辑性，条理 ...
- computability: 可计算性; 可算性
- abacus computability: 算盘可计算性
- characterization of computability: 可计算性刻划
- computability theory: 可计算性理论
下载手机词典可随时随地查词查翻译
computability logic中文什么意思
- 可计算性逻辑
下载手机词典可随时随地查词查翻译
百科释义
Introduced by Giorgi Japaridze in 2003, computability logic is a research programme and mathematical framework for redeveloping logic as a systematic formal theory of computability, as opposed to classical logic which is a formal theory of proof. In this approach logical formulas represent computational problems (or, equivalently, computational resources), and their validity means being "always computable".
详细百科解释